and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
191	Modeling an Algebraic Stepper John Clements, Matthew Flatt , and Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-07 08:17:37 Lisp programming language Functional programming Models of computation Procedural programming languages Cons Lambda calculus Monad Fold S-expression Software engineering Computing Computer programming
192	Tool-Support for the Analysis of Hybrid Systems and Models Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2007-03-14 18:49:09 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
193	Barbara H. Liskov August 2009 Institute Professor Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2010-03-03 11:07:31 Barbara Jane Liskov Women in technology ACM SIGACT Association for Computing Machinery SIGPLAN XPL Principles of Programming Languages Mobile Transaction Models Symposium on Principles and Practice of Parallel Programming Computing Computer science Software engineering
194	The Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:04 Lambda calculus Logic in computer science Models of computation Functional languages Combinatory logic Functional programming Curry ISWIM Denotational semantics Software engineering Computing Programming language theory
195	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
196	Information and Computation 163, [removed]doi:[removed]Âinco[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2006-02-19 18:16:34 Logic in computer science Lambda calculus Type theory Models of computation Programming language semantics Denotational semantics Simply typed lambda calculus Typed lambda calculus Combinatory logic Theoretical computer science Mathematics Mathematical logic
197	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Theoretical computer science Data types Computing Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Software engineering Type theory Object-oriented programming
198	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory
199	Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:38 Software engineering Programming language semantics Denotational semantics Logic in computer science Monad Lambda calculus Representation theory of finite groups Theoretical computer science Models of computation Applied mathematics
200	A Brief Scientific Biography of Robin Milner Gordon Plotkin, Colin Stirling & Mads Tofte Robin Milner was born in 1934 to John Theodore Milner and Muriel Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-28 12:43:45 Logic in computer science Functional languages Type theory Formal methods Models of computation Denotational semantics Logic for Computable Functions ML Robin Milner Theoretical computer science Software engineering Programming language theory

UPDATE